\begin{tabbing}
(\=InstHyp [$k$+1] 8) \+
\\[0ex]CollapseTHEN (Auto')$\cdot$
\-
\end{tabbing}